Contact Relation Algebras
نویسنده
چکیده
Contact relation algebras (CRAs), introduced in Düntsch et al. (1999), arise from the study of “part–of” and “contact” relations rooted in mereology and have applications, for example, in qualitative spatial reasoning. We give an overview of the origins of CRAs and numerous examples.
منابع مشابه
A Proof System for Contact Relation Algebras
Contact relations have been studied in the context of qualitative geometry and physics since the early 1920s, and have recently received attention in qualitative spatial reasoning. In this paper, we present a sound and complete proof system in the style of Rasiowa & Sikorski (1963) for relation algebras generated by a contact relation.
متن کاملBoolean contact algebras
The origins of Boolean contact algebras go back to the works of Leśniewski [8] on mereology and Leonard and Goodman [7] on the calculus of individuals on the one hand, and, on the other hand, the efforts of e.g. de Laguna [2], Tarski [12] and Whitehead [13] to use regions instead of points as the basic entity of geometry. A central role played the notion of “connection” (or “contact”) of region...
متن کاملKnot and Braid Invariants from Contact Homology I
We introduce topological invariants of knots and braid conjugacy classes, in the form of differential graded algebras, and present an explicit combinatorial formulation for these invariants. The algebras conjecturally give the relative contact homology of certain Legendrian tori in five-dimensional contact manifolds. We present several computations and derive a relation between the knot invaria...
متن کاملConstruction of Boolean contact algebras
We consider Boolean algebras endowed with a contact relation which are abstractions of Boolean algebras of regular closed sets together with Whitehead’s connection relation [17], in which two non-empty regular closed sets are connected if they have a non-empty intersection. These are standard examples for structures used in qualitative reasoning, mereotopology, and proximity theory. We exhibit ...
متن کاملLogics of Space with Connectedness Predicates: Complete Axiomatizations
In this paper we present a complete quantifier-free axiomatization of several logics on region-based theory of space based on contact relation and connectedness predicates. We prove completeness theorems for the logics in question with respect to three different semantics: algebraic – with respect to several important classes of contact algebras, topological – based on the contact algebras over...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000